Towards a Reformulation
نویسندگان
چکیده
منابع مشابه
Towards automated reformulation of specications
Several state-of-the-art systems and languages for constraint solving adopt a clear separation between the specification of a problem and its instances. Some of them additionally perform a limited form of reasoning on the spec, with the goal of choosing the most appropriate solver. In this paper we propose a more sophisticated form of reasoning on problem specs, with the goal of reformulating t...
متن کاملTowards A Reformulation of Monetary Theory: Competitive Banking*
eo-classical economics is a difficult subject. I t requires more than .1.^1 the usual will ing suspension of disbelief. One is asked to put aside one's economic intuition, one's experiences of how the world works, to enter the realm of ideas: to begin with seemingly plausible or not terribly implaus ible assumptions (or assumptions which are implausible, but which are justi fied as convenient...
متن کاملTowards AI Planning Efficiency: Finite-Domain State Variable Reformulation
AI Planning is inherently hard and hence it is desirable to derive as much information as we can from the structure of the planning problem and let this information be exploited by a planner. Many recent planners use the finite-domain state-variable representation of the problem instead of the traditional propositional representation. However, most planning problems are still specified in the p...
متن کاملTowards Multidocument Summarization by Reformulation: Progress and Prospects
By synthesizing information common to retrieved documents, multi-document summarization can help users of information retrieval systems to find relevant documents with a minimal amount of reading. We are developing a multidocument summarization system to automatically generate a concise summary by identifying and synthesizing similarities across a set of related documents. Our approach is uniqu...
متن کاملTowards a Reformulation Based Approach for Efficient Numeric Planning: Numeric Outer Entanglements
Restricting the search space has shown to be an effective approach for improving the performance of automated planning systems. A planner-independent technique for pruning the search space is domain and problem reformulation. Recently, Outer Entanglements, which are relations between planning operators and initial or goal predicates, have been introduced as a reformulation technique for elimina...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Valuation Studies
سال: 2020
ISSN: 2001-5992
DOI: 10.3384/vs.2001-5992.2020.7.1.1